|Title of the article||
ASYNCHRONOUS MODELING OF NCES-NETWORKS
Dubinin Viktor Nikolaevich, Candidate of technical sciences, associate professor, sub-department of computer science, Penza State University
In the paper questions of asynchronous modelling of net condition/event systems (NCES) using a formalism based on Petri nets, are considered. Rules for transforming NCES to the asynchronous model are represented. The suggested method is illustrated by an example. The asynchronous modelling is considered as the starting point to formal verification of NCES by means of the model checking method.
asynchronous modelling, net condition/event systems, Petri nets, model checking, model transformation.
Дата обновления: 20.08.2014 12:57